4

A Novel Two-Terminal Reliability Analysis for MANET

Year:
2013
Language:
english
File:
PDF, 660 KB
english, 2013
7

Formal Proof of a Machine Closed Theorem in Coq

Year:
2014
Language:
english
File:
PDF, 242 KB
english, 2014